NuDE 2.0: A Formal Method-based Software Development, Verification and Safety Analysis Environment for Digital I&Cs in NPPs
نویسندگان
چکیده
NuDE 2.0 (Nuclear Development Environment 2.0) is a formal-method-based software development, verification and safety analysis environment for safety-critical digital I&Cs implemented with programmable logic controller (PLC) and field-programmable gate array (FPGA). It simultaneously develops PLC/FPGA software implementations from one requirement/design specification and also helps most of the development, verification, and safety analysis to be performed mechanically and in sequence. The NuDE 2.0 now consists of 25 CASE tools and also includes an in-depth solution for indirect commercial off-the-shelf (COTS) software dedication of new FPGA-based digital I&Cs. We expect that the NuDE 2.0 will be widely used as a means of diversifying software design/implementation and model-based software development methodology. Category: Embedded computing
منابع مشابه
An Integrated Software Development Framework for PLC & FPGA based Digital I&Cs
NuDE 2.0 (Nuclear Development Environment) is a model-based software development environment for safetycritical digital systems in nuclear power plants. It makes possible to develop PLC-based systems as well as FPGA-based systems simultaneously from the same requirement or design specifications. The case study showed that the NuDE 2.0 can be adopted as an effective method of bridging the gap be...
متن کاملNuDE: Development Environment for Safety-Critical Software of Nuclear Power Plant
Safety-critical systems are systems where it is essential that system operation is always safe [1]. Therefore, rigorous quality demonstration is important when developing software in safety-critical system. Generally, safety-critical software demands extremely high-confidence verification and validation (V&V) techniques. Additionally, software V&V should be performed in parallel with software d...
متن کاملAn integrated environment of S/W specification and V&V for safety-critical systems
As a digital system becomes more important in recent years, software specification and analysis techniques become a central problem in the safety-critical systems. Therefore, the importance of software verification and validation (V&V) based on an adequate specification is more emphasized in view of the software quality. For a thorough V&V, it should be performed throughout whole software life ...
متن کاملSafety Analysis of Safety-Critical Software for Nuclear Digital Protection System
A strategy and relating activities of a software safety analysis (SSA) are presented for the software of a digital reactor protection system where software modules in the design description are represented by function blocks (FBs). The SSA, as a part of the verification and validation activities, was activated at each phase of the software lifecycle. For the SSA of the FB modules, the software ...
متن کاملRigorous engineering of product-line requirements: A case study in failure management
We consider the failure detection and management function for engine control systems as an application domain where product line engineering is indicated. The need to develop a generic requirement set – for subsequent system instantiation – is complicated by the addition of the high levels of verification demanded by this safety-critical domain, subject to avionics industry standards. We presen...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- JCSE
دوره 11 شماره
صفحات -
تاریخ انتشار 2017